二次方资助V2协议: 抗女巫攻击、公平和规模化的链上二次方投票
DAOrayaki DAO研究奖金池:
资助地址: 0xCd7da526f5C943126fa9E6f63b7774fA89E88d71
投票进展:DAO Committee 3:0 投票通过
赏金总量:100 USDC
研究种类: Quadratic Funding V2, Dora Factory, HackerLink, DAO
原文作者: Eric, Felix @ Dora Factory
贡献者: Yofu, DAOctor @DAOrayaki
原文: Quadratic Funding V2 Protocol: Anti-Sybil, Fairness, and Scalability On-Chain
经过几个月的研究和工程实现,我们准备在今天发布二次方资助V2协议。
* 注: 原文的发布日期为2021年6月27日
HackerLink是第一个实现链上二次方投票和资助并使其具有可扩展性的产品。在过去的一年中,大多数主要生态系统都在HackerLink上获得了二次方资金资助,数百万美元的链上资助被分配给了来自世界各地的数千名开发者创建的近1000个项目。
现在我们在三个公链上有二次方资助的基础设施。
1. Solidity版本的二次方资助,适用于所有与 EVM 兼容的链
2. Substrate上的二次方资助pallet,可部署在所有基于Substrate的区块链上
3. Solana上的二次方资助智能合约,由Solana开发者社区贡献
来自其他几个区块链的开发者正在创建他们版本的二次方资助,并积极与HackerLink集成。当这些版本准备好时,我们将发布这些版本。
与此同时,当前的二次方资助机制也存在一些亟需解决的问题。这些问题可以分为四个机制设计问题:女巫攻击、共谋、欺诈和不公平。
幸运的是,所有这些问题都在Dora社区和其他社区研究和讨论了数月。我们也非常感谢Gitcoin和Vitalik Buterin在Gitcoin GR9期间的讨论。所有这些讨论和研究都为二次方资助V2协议的提出做出了贡献。
**如果你不熟悉二次方资助机制,请阅读Vitalik Buterin的《二次支付》(https://vitalik.ca/general/2019/12/07/quadratic.html)或我的中文文章《二次方投票和二次方资助》(https://www.matataki.io/p/6113)。熟悉HackerLink (https://hackerlink.io/en/grant)和Gitcoin (https://gitcoin.co/grants)上的二次方资助也很有帮助,以便理解二次方资助在实践中是如何工作的。
二次方资助v2协议是在HackerLink二次方资助V1协议上构建的,具有以下特点:
1. 使用 DoraID 进行反女巫Staking
女巫攻击是所有投票系统的主要问题。事实上,大多数投票机制(包括链下/线下投票机制)都需要某种身份系统。由于HackerLink 二次方资助发生在链上(去中心化),因此需要一个链上身份解决方案。
在二次方资助V2协议中,集成了 DoraID 以基于质押验证选民身份(在这种情况下,我们称之为反女巫质押)。DoraID是质押的通用框架。它允许用户以自定义的数量和时间持有DORA代币。它最初是由Dora Factory开发者Felix在3月底提出的,现在部署在以太坊和BSC上。
如果您不熟悉DoraID,请阅读以下关于它的文章:https://dorafactory.medium.com/doraid-a-solution-for-did-and-staking-on-dora-factory-1fe2f4d942cf
在以往的二次方资助中,轮后分析在调整最终结果和维护公平方面发挥了重要作用。通过使用DoraID,可以大大减少轮后分析的工作量。反女巫质押的原理不是像中心化解决方案那样检查每个投票的合法性,而是通过一个很大的投票权重将女巫攻击的成本大大增加,进而使其在实际中不可行。即让女巫攻击的成本远远超过它的收益。
2. 反欺诈
虽然链上的二次方资助协议是无许可的,但可以通过一定程度的智能合约管理控制和前端审查添加反欺诈功能。HackerLink已经实现了一个审查机制来验证项目身份。首先,有两个功能允许项目所有者自动验证他们的GitHub和Twitter所有权。此外,它允许删除一个被证明是欺诈的项目,匹配的资金将自动重新计算,并重新分配给社区的其他成员。到目前为止,这种方法对于消除欺诈是非常有效的。批评者可能会说这一定程度上增加了协议的中心化成分,但我们会说它是有效的。
反欺诈功能可以在必要时在DAO机制中实现——允许社区投票,以便列出或删除某个项目。然而,这将在很大程度上减缓决策的进程,就像效率和去中心化之间总是要进行权衡一样。
3. 用二次方累进税机制缓解资助不平等问题,增加参与度
之前,我们讨论了匹配资金分配的不公平如何阻碍参与并可能鼓励更多的女巫攻击。为了解决这个问题,我们设计了二次方资助累进税机制,并对这个机制进行了模拟。
关于讨论和算法的详细信息请参考这篇文章:https://ethresear.ch/t/mitigate-quadratic-funding-inequality-with-a-progressive-tax-system/9859
该算法在每次调用vote()函数后分配tax。在二次方资助V2协议中,我们将累进税函数纳入到投票过程中。
在二次方资助V2协议发布后,Dora Factory第一轮社区资助(DAO Hack)和Harmony Grant已经开始使用V2协议的累进税制,我们会在1-2个月内得到累进税机制的初步反馈和数据,用于进一步的调整和改进。
关于共谋
二次方资助V2协议没有解决共谋问题。Vitalik对共谋进行了非常深入的讨论,并推广了MACI(最小化反共谋基础设施)。基础设施的实现并不困难,但困难的是做到用户友好。此外,共谋不是链上治理问题,它实际上发生在所有治理系统中,包括主要民主国家的选举(例如“选票收割”的问题)。
防止链上治理中共谋的一个一般想法是将投票过程变成非协作博弈的游戏。例如,MACI阻止选民之间的投票验证,因此缺乏信任将消除共谋。尽管这个解决方案在技术上很有经验,但它在过于严苛,并且忽略了社会层面上的一些个人和组织之间的互动。此外,MACI的一个重要的问题是引入了中心化权力(秘密统计选票和提零知识证明的计票员)。未来共谋问题的真正解决需要借助MACI等算法来“调节”某些协作行为的机制设计。
结论
我们希望看到这些新机制设计能够使二次方投票和二次方资助变得稳健、公平和安全。新协议将在未来的HackerLink 二次方资助轮次中使用,并帮助将二次方资助规模扩大到一个新的水平,这样我们就可以将开源开发者和开源软件的资助规模增长到一个新的水平。
随着机制设计的不断完善,传统(链下)投票系统的许多缺点也可以通过链上治理技术克服。在某个时候,我们可能会看到二次方投票和二次方资助在 DAO 以及主流治理机构民主决策和资金分配中被广泛采用。